Total Generalized Variation for Manifold-valued Data

In this paper we introduce the notion of second-order total generalized variation (TGV) regularization for manifold-valued data in a discrete setting. We provide an axiomatic approach to formalize reasonable generalizations of TGV to the manifold setting and present two possible concrete instances that fulfill the proposed axioms. We provide well-posedness results and present algorithms for a numerical realization of these generalizations to the manifold setup. Further, we provide experimental results for synthetic and real data to further underpin the proposed generalization numerically and show its potential for applications with manifold-valued data

Many-core compiler fuzzing

We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations

Ptychographic X-ray computed tomography of extended colloidal networks in food emulsions

As a main structural level in colloidal food materials, extended colloidal networks are important for texture and rheology. By obtaining the 3D microstructure of the network, macroscopic mechanical properties of the material can be inferred. However, this approach is hampered by the lack of suitable non-destructive 3D imaging techniques with submicron resolution. We present results of quantitative ptychographic X-ray computed tomography applied to a palm kernel oil based oil-in-water emulsion. The measurements were carried out at ambient pressure and temperature. The 3D structure of the extended colloidal network of fat globules was obtained with a resolution of around 300 nm. Through image analysis of the network structure, the fat globule size distribution was computed and compared to previous findings. In further support, the reconstructed electron density values were within 4% of reference values.Comment: 19 pages, 4 figures, to be published in Food Structur

A 6-12 GHz Analogue Lag-Correlator for Radio Interferometry

Aims: We describe a 6-12 GHz analogue correlator that has been developed for use in radio interferometers. Methods: We use a lag-correlator technique to synthesis eight complex spectral channels. Two schemes were considered for sampling the cross-correlation function, using either real or complex correlations, and we developed prototypes for both of them. We opted for the ``add and square'' detection scheme using Schottky diodes over the more commonly used active multipliers because the stability of the device is less critical. Results: We encountered an unexpected problem, in that there were errors in the lag spacings of up to ten percent of the unit spacing. To overcome this, we developed a calibration method using astronomical sources which corrects the effects of the non-uniform sampling as well as gain error and dispersion in the correlator.Comment: 14 pages, 21 figures, accepted for publication in A&

The predictive potential of hand gestures during conversation: An investigation of the timing of gestures in relation to speech

In face-to-face conversation, recipients might use the bodily movements of the speaker (e.g. gestures) to facilitate language processing. It has been suggested that one way through which this facilitation may happen is prediction. However, for this to be possible, gestures would need to precede speech, and it is unclear whether this is true during natural conversation. In a corpus of Dutch conversations, we annotated hand gestures that represent semantic information and occurred during questions, and the word(s) which corresponded most closely to the gesturally depicted meaning. Thus, we tested whether representational gestures temporally precede their lexical affiliates. Further, to see whether preceding gestures may indeed facilitate language processing, we asked whether the gesture-speech asynchrony predicts the response time to the question the gesture is part of. Gestures and their strokes (most meaningful movement component) indeed preceded the corresponding lexical information, thus demonstrating their predictive potential. However, while questions with gestures got faster responses than questions without, there was no evidence that questions with larger gesture-speech asynchronies get faster responses. These results suggest that gestures indeed have the potential to facilitate predictive language processing, but further analyses on larger datasets are needed to test for links between asynchrony and processing advantages

A 6-12 GHz Analogue Lag-Correlator for Radio Interferometry

Aims: We describe a 6-12 GHz analogue correlator that has been developed for use in radio interferometers. Methods: We use a lag-correlator technique to synthesis eight complex spectral channels. Two schemes were considered for sampling the cross-correlation function, using either real or complex correlations, and we developed prototypes for both of them. We opted for the ``add and square'' detection scheme using Schottky diodes over the more commonly used active multipliers because the stability of the device is less critical. Results: We encountered an unexpected problem, in that there were errors in the lag spacings of up to ten percent of the unit spacing. To overcome this, we developed a calibration method using astronomical sources which corrects the effects of the non-uniform sampling as well as gain error and dispersion in the correlator.Comment: 14 pages, 21 figures, accepted for publication in A&